// { dg-additional-options "-fmodules" }
// { dg-module-cmi foo }

export module foo;
void foo();
